This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is (...) told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it. (shrink)

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

What is involved when a group of agents decide to do something together? Joint action by a team appears to involve more than just the union of simultaneous individual actions, even when those actions are coordinated. We would not say that there is any teamwork involved in ordinary automobile traffic, even though the drivers act simultaneously and are coordinated (one hopes) by the traffic signs and rules of the road. But when a group of drivers decide to do something together, (...) such as driving somewhere as a convoy, it appears that the group acts more like a single agent with beliefs, goals, and intentions of its own, over and above the individual ones. [more]. (shrink)

The aim of this paper is to explore the interaction between aesthetic properties and cognitive value in serial television. This study is based on a survey focused specifically on one television series: the second season of My Brilliant Friend, created by Saverio Costanzo. The survey was designed with the aim of getting respondents to express their perceptions of the relationship between the aesthetic qualities of the series and their assessment of it in cognitive terms. The responses obtained in the survey (...) offer a clear answer to the key question of concern for this article. The vast majority of respondents (more than 90% in almost all cases) believe that aesthetic and cognitive qualities mutually influence one another. Additionally the qualitative results invite us to further explore interactionism conceptually: the cognitive content is taken as a criterion for evaluating the season’s aesthetic value overall, suggesting a link between meaning and narrative form. (shrink)

This article draws on concepts from cognitive psychology to explore the significance of the narrative climax, focusing on the final climax of the series The Americans as a case study. Two aspects of the aesthetic experience are considered: the special intensity that climaxes elicit, and the diversity of the cognitive content they generate, which can include both aesthetic and non-aesthetic properties. The climax is experienced in a state of absorption triggered by a set of strategies of temporal prolongation related to (...) the main suspenseful moments and plotlines, to character engagement, and to the multiplot structure, involving the content of the narrative itself and the aesthetic qualities that define it. The source of this absorption during the climax lies in the interplay between emotion and cognition in a temporal process that may last for a whole series. To demonstrate this idea, this study identifies key narrative comprehension processes, drawing on the explanatory potential of mental model theory to clarify the importance of memory and interrelated inferential processes. The aim of this research is to contribute to explanations of the role of the climax in serialized television and other artistic works. (shrink)

Some basic mathematical facts pertaining to " Catastrophe Theory" are sketched. The alleged applications to the social sciences are studied. Three representative models, due to E.C. Zeeman, are described in detail, and critically analyzed. The models are found to be vaguely formulated, to be based on false hypotheses, to lead to few nontrivial predictions. Moreover, most of those predictions do not agree with reality. Finally, the only nontrivial mathematical result used in these models - Thom 's theorem - is found (...) to be incorrectly applied. It is concluded that no justification exists for the claim that Catastrophe Theory can be applied to the social sciences. (shrink)

Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland, Or.

This paper explores principles governing the rational balance among an agent's beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action (as philosophers use the term). By making explicit the conditions under which an agent can drop his goals, i.e., by specifying how the agent is committed to his goals, the formalism captures a number of important properties of intention. Specifically, the formalism provides analyses for Bratman's three characteristic functional roles played (...) by intentions [7, 9], and shows how agents can avoid intending all the foreseen side-effects of what they actually intend. Finally, the analysis shows how intentions can be adopted relative to a background of relevant beliefs and other intentions or goals. By relativizing one agent's intentions in terms of beliefs about another agent's intentions (or beliefs'), we derive a preliminary account of interpersonal commitments. (shrink)

A central problem in applying logical knowledge representation formalisms to traditional robotics is that the treatment of belief change is categorical in the former, while probabilistic in the latter. A typical example is the fundamental capability of localization where a robot uses its noisy sensors to situate itself in a dynamic world. Domain designers are then left with the rather unfortunate task of abstracting probabilistic sensors in terms of categorical ones, or more drastically, completely abandoning the inner workings of sensors (...) to black-box probabilistic tools and then interpreting their outputs in an abstract way. Building on a first-principles approach by Bacchus, Halpern and Levesque, and a recent continuous extension to it by Belle and Levesque, we provide an axiomatization that shows how localization can be realized wrt a basic action theory, thereby demonstrating how such capabilities can be enabled in a single logical framework. We then show how the framework can also enable localization for multiple agents, where an agent can appeal to the sensing already performed by another agent and the knowledge of their relative positions to localize itself. (shrink)

Human Evolution provides a comprehensive overview of hominid evolution, synthesising data and approaches from fields as diverse as physical anthropology, evolutionary biology, molecular biology, genetics, archaeology, psychology and philosophy. The book starts with chapters on evolution, population genetics, systematics, and the methods for constructing evolutionary trees. These are followed by a comprehensive review of the fossil history of human evolution since our divergence from the apes. Subsequent chapters cover more recent data, both fossil and molecular, relating to the evolution of (...) modern humans. A final section describes the evolution of culture, language, art, and morality.The authors are leading experts in two complementary fields of scholarship, physical anthropology and molecular evolution. Throughout the book they successfully integrate their expertise in evolutionary theory, phylogenetics, genomics, cultural evolution, language, aesthetics and morality to produce a cutting edge textbook, copiously illustrated and with an extensive and up-to-date bibliography. It will be suitable for both senior undergraduate and graduate level students taking courses on human evolution within departments of biology, anthropology, psychology and philosophy. The book will also appeal to a more general audience seeking a readable, up-to-date and inclusive treatment of human origins and evolution. (shrink)

This paper describes an approach for reasoning in a dynamic domain with nondeterministic actions in which an agent’s beliefs correspond to the simplest, or most plausible, course of events consistent with the agent’s observations and beliefs. The account is based on an epistemic extension of the situation calculus, a first-order theory of reasoning about action that accommodates sensing actions. In particular, the account is based on a qualitative theory of nondeterminism. Our position is that for commonsense reasoning, the world is (...) most usefully regarded as deterministic, and that nondeterminism is an epistemic phenomenon, arising from an agent’s limited awareness and perception. The account offers several advantages: an agent has a set of categorical beliefs, yet can deal with equally-likely outcomes or with outcomes of differing plausibility. The agent maintains as its set of contingent beliefs the most plausible, or simplest, picture of the world, consistent with its beliefs and actions it believes it executed; yet it may modify these in light of later information. (shrink)

Human Evolution provides a comprehensive overview of hominid evolution, synthesising data and approaches from fields as diverse as physical anthropology, evolutionary biology, molecular biology, genetics, archaeology, psychology and philosophy. The book starts with chapters on evolution, population genetics, systematics, and the methods for constructing evolutionary trees. These are followed by a comprehensive review of the fossil history of human evolution since our divergence from the apes. Subsequent chapters cover more recent data, both fossil and molecular, relating to the evolution of (...) modern humans. A final section describes the evolution of culture, language, art, and morality. The authors are leading experts in two complementary fields of scholarship, physical anthropology and molecular evolution. Throughout the book they successfully integrate their expertise in evolutionary theory, phylogenetics, genomics, cultural evolution, language, aesthetics and morality to produce a cutting edge textbook, copiously illustrated and with an extensive and up-to-date bibliography. It will be suitable for both senior undergraduate and graduate level students taking courses on human evolution within departments of biology, anthropology, psychology and philosophy. The book will also appeal to a more general audience seeking a readable, up-to-date and inclusive treatment of human origins and evolution. (shrink)

This book posits an interconnection between the ways in which contemporary television serials cue cognitive operations, solicit emotional responses, and elicit aesthetic appreciation. The chapters explore a number of questions including: How do the particularities of form and style in contemporary serial television engage us cognitively, emotionally, and aesthetically? How do they foster cognitive and emotional effects such as feeling suspense, anticipation, surprise, satisfaction, and disappointment? Why and how do we value some serials while disliking others? What is it about (...) the particularities of serial television form and style, in conjunction with our common cognitive, emotional, and aesthetic capacities, that accounts for serial television's cognitive, socio-political, and aesthetic value, and its current ubiquity in popular culture? This book will appeal to postgraduates and scholars working in television studies as well as film studies, cognitive media theory, media psychology, and the philosophy of art. (shrink)

Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory is (...) a prerequisite for producing specifications of planners for agents that can acquire information at run time. It is also essential to account for cooperation among agents. Our account is more general than previous proposals, correctly handles programs containing loops, and incorporates a solution to the frame problem. It can also be used to prove programs containing sensing actions correct. (shrink)

Metabolomics, including lipidomics, is emerging as a quantitative biology approach for the assessment of energy flow through metabolism and information flow through metabolic signaling; thus, providing novel insights into metabolism and its regulation, in health, healthy ageing and disease. In this forward‐looking review we provide an overview on the origins of metabolomics, on its role in this postgenomic era of biochemistry and its application to investigate metabolite role and (bio)activity, from model systems to human population studies. We present the challenges (...) inherent to this analytical science, and approaches and modes of analysis that are used to resolve, characterize and measure the infinite chemical diversity contained in the metabolome (including lipidome) of complex biological matrices. In the current outbreak of metabolic diseases such as cardiometabolic disorders, cancer and neurodegenerative diseases, metabolomics appears to be ideally situated for the investigation of disease pathophysiology from a metabolite perspective. (shrink)

The ultimate source of explanation in biology is the principle of natural selection. Natural selection means differential reproduction of genes and gene combinations. It is a mechanistic process which accounts for the existence in living organisms of end-directed structures and processes. It is argued that teleological explanations in biology are not only acceptable but indeed indispensable. There are at least three categories of biological phenomena where teleological explanations are appropriate.

Written by an emigrant French aristocrat turned farmer, the Letters from an American Farmer posed the famous question `What, then, is the American, this new man?', as the new nation took shape before the eyes of the world. Addressing some of American literature's most pressing concerns and issues of identity, the Letters celebrates personal determination, freedom from institutional oppression and the largeness and fertility of the land, and also raises darker and more symbolic elements, particularly slavery. This is the only (...) critical edition available of what is regarded as the first ever work of American literature. (shrink)

The question whether ethical behavior is biologically determined may refer either to thecapacity for ethics (e.i., the proclivity to judge human actions as either right or wrong), or to the moralnorms accepted by human beings for guiding their actions. My theses are: (1) that the capacity for ethics is a necessary attribute of human nature; and (2) that moral norms are products of cultural evolution, not of biological evolution.Humans exhibits ethical behavior by nature because their biological makeup determines the presence (...) of the three necessary, and jointly sufficient, conditions for ethical behavior: (i) the ability to anticipate the consequences of one's own actions; (ii) the ability to make value judgements; and (iii) the ability to choose between alternative courses of action. Ethical behavior came about in evolution not because it is adaptive in itself, but as a necessary consequece of man's eminent intellectual abilities, which are an attribute directly promoted by natural selection. (shrink)